Warsaw

Results: 3095



#Item
341

Algebra for Infinite Forests with an Application to the Temporal Logic EF? Mikolaj Boja´ nczyk and Tomasz Idziaszek University of Warsaw, Poland {bojan,idziaszek}@mimuw.edu.pl

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2015-05-11 06:11:18
    342

    Imperative Programming in Sets with Atoms∗ Mikołaj Bojańczyk and Szymon Toruńczyk University of Warsaw, Warsaw, Poland Abstract We define an imperative programming language, which extends while programs with a type

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2015-05-11 06:11:45
      343

      Centre for Polish and Central European Studies(IFPS, Calcutta University) The lecture programme is organized in collaboration with the Institute of International Relations, University of Warsaw and the Ministry of Foreig

      Add to Reading List

      Source URL: www.caluniv.ac.in

      Language: English - Date: 2014-02-03 05:19:27
        344

        A machine-independent characterization of timed languages Mikolaj Boja´ nczyk and Slawomir Lasota Institute of Informatics, University of Warsaw

        Add to Reading List

        Source URL: www.mimuw.edu.pl

        Language: English - Date: 2015-05-11 06:12:19
          345

          Warsaw 24 SeptemberScientific Research - Who Benefits? Who Should Pay? Chris Llewellyn Smith Director, UKAEA Culham Division

          Add to Reading List

          Source URL: www.fuw.edu.pl

          Language: English - Date: 2004-09-30 06:29:10
            346

            HERDING THE GLOBAL CARBON MARKET CATS: RECOMMENDATIONS FOR THE NEGOTIATIONS OF THE FRAMEWORK ON VARIOUS APPROACHES Position Paper for COP-19, Warsaw· November 2013

            Add to Reading List

            Source URL: carbonmarketwatch.org

            Language: English - Date: 2013-11-08 04:32:28
              347

              Efficient Evaluation of Nondeterministic Automata Using Factorization Forests? Mikolaj Boja´ nczyk and Pawel Parys University of Warsaw

              Add to Reading List

              Source URL: www.mimuw.edu.pl

              Language: English - Date: 2015-05-11 06:12:37
                348

                Warsaw, 8 NovemberOpen letter to Ministers and delegates of UNFCCC Parties Subject: Stop carbon markets from undermining mitigation commitments at COP-19 Dear Minister, Dear Delegate, The IPCC´s new report confir

                Add to Reading List

                Source URL: carbonmarketwatch.org

                Language: English - Date: 2013-11-12 10:14:40
                  349

                  University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

                  Add to Reading List

                  Source URL: www.mimuw.edu.pl

                  Language: English - Date: 2015-08-15 15:21:13
                    350

                    Financial Forecast of the Issuer The Management Board of Artnews S.A. with its registered office in Warsaw (the “Issuer”) presents the financial forecast of the Issuer: - PLN 14.3 mln revenue in the first half of 20

                    Add to Reading List

                    Source URL: investor.artnews.com

                    Language: English - Date: 2015-08-03 08:17:35
                      UPDATE